ln(cotx) differentiated